Bernhard Steffen – DVDs, Bücher, CDs und mehr

Ein feste Burg ist unser Gott - Luther und die Musik der Reformation

Bart Jacobs (Thomas-Orgel Ciboure), Vox Luminis, Lionel Meunier

lieferbar innerhalb von 3 Tagen

2 CDs

Rise Up

Wie verändert man die Welt? »Rise Up« sucht gemeinsam mit fünf außergewöhnlichen Menschen Antworten auf die verheerenden ökologischen, wirtschaftlichen und autoritären Entwicklungen unserer Zeit. Können …

Artikel am Lager

DVD

Bridging the Gap Between AI and Reality

This book constitutes the proceedings of the Second International Conference on Bridging the Gap between AI and Reality, AISoLA 2024, which took place in Crete, Greece, in October/November 2024. The paper…

lieferbar innerhalb 2-3 Wochen

Buch

Bridging the Gap Between AI and Reality

This open access book constitutes revised selected papers from the First International Conference on Bridging the Gap between AI and Reality, AISoLA 2023, which took place in Crete, Greece, in October 202…

lieferbar innerhalb 2-3 Wochen

Buch

Bridging the Gap Between AI and Reality

Lecture Notes in Computer Science - Band 16032

This open access book constitutes revised selected papers from the Second International Conference on Bridging the Gap between AI and Reality, AISoLA 2024, which took place in Crete, Greece, in October/No…

lieferbar in mind. 4 Wochen

Buch

Let's Talk AI

Lecture Notes in Computer Science - Band 15000

This unique open access volume represents an interdisciplinary dialog with top-class researchers and practitioners on the Artificial Intelligence revolution. The contributions derive from structured inter…

lieferbar ab 29.11.2025.

Buch

Bridging the Gap Between AI and Reality

Lecture Notes in Computer Science - Band 16220

This open access book constitutes selected papers of the proceedings of the Third International Conference on Bridging the Gap between AI and Reality, AISoLA 2025, which took place in Rhodes, Greece, in N…

lieferbar ab 23.11.2025.

Buch

Formal Methods for Industrial Critical Systems

This book constitutes the proceedings of the 30th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2025, held in Aarhus, Denmark, during August 27--28, 2025. The 13 full p…

sofort lieferbar

Buch

The Combined Power of Research, Education, and Dissemination

Starting with a Laurea in Ingegneria Elettronica and a PhD in Computer and Systems Engineering at the Politecnico di Torino, Tiziana has stayed faithful to her love of organized management of composable f…

lieferbar innerhalb 2-3 Wochen

Buch

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

lieferbar innerhalb 2-3 Wochen

Buch

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

lieferbar innerhalb 2-3 Wochen

Buch

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

lieferbar innerhalb 2-3 Wochen

Buch

Real Time and Such

This Festschrift reflects Professor Wang Yi's contributions to the fields of formal methods, real-time systems and scheduling, and multicore systems.Wang Yi received a PhD in Computer Science from Chalmer…

lieferbar innerhalb 2-3 Wochen

Buch

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

lieferbar innerhalb 2-3 Wochen

Buch

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

lieferbar innerhalb 2-3 Wochen

Buch

Bernard Hebb - Dedicactions

Bernard Hebb (Gitarre)

lieferbar innerhalb 2-3 Wochen

CD

Goldene Weihnachtshits (Die Neue)

Die "Goldene Weihnachtshits"-Reihe erscheint jedes Jahr zur Weihnachtszeit und bringt auf 2 CDs eine harmonische Mischung aus brandneuen deutschen Weihnachtsliedern und internationalen Klassikern. Mit ins…

lieferbar innerhalb einer Woche

2 CDs

Trio Cantraiano - Sonnengesänge

Trio Cantraiano

lieferbar innerhalb 1-2 Wochen

CD

Schlager für alle: Frühjahr/Sommer 2025

60 unvergessliche Ohrwürmer!

Artikel am Lager

3 CDs

Schlager Hits 2024

„Schlager Hits 2024“ ist eine 3CD + DVD- Edition, die die besten Schlagerhits des Jahres vereint. Sie begeistert mit mitreißende Ohrwürmern, gefühlvolle Balladen und Partykrachern, die den geneigten Schla…

Artikel am Lager

3 CDs, DVD